Divisibility rule of 13